The fundamental Gray 3-groupoid of a smooth manifold and local 3-dimensional holonomy based on a 2-crossed module
نویسندگان
چکیده
We define the thin fundamental Gray 3-groupoid S3(M) of a smooth manifold M and define (by using differential geometric data) 3-dimensional holonomies, to be smooth strict Gray 3-groupoid maps S3(M) → C(H), where H is a 2-crossed module of Lie groups and C(H) is the Gray 3groupoid naturally constructed from H. As an application, we define Wilson 3-sphere observables.
منابع مشابه
1 Towards a 2 - dimensional notion of holonomy ∗
Previous work (Pradines, 1966, Aof and Brown, 1992) has given a setting for a holon-omy Lie groupoid of a locally Lie groupoid. Here we develop analogous 2-dimensional notions starting from a locally Lie crossed module of groupoids. This involves replacing the Ehresmann notion of a local smooth coadmissible section of a groupoid by a local smooth coadmissible homotopy (or free derivation) for t...
متن کاملGROUPOID ASSOCIATED TO A SMOOTH MANIFOLD
In this paper, we introduce the structure of a groupoid associated to a vector field on a smooth manifold. We show that in the case of the $1$-dimensional manifolds, our groupoid has a smooth structure such that makes it into a Lie groupoid. Using this approach, we associated to every vector field an equivalence relation on the Lie algebra of all vector fields on the smooth...
متن کاملActions of vector groupoids
In this work we deal with actions of vector groupoid which is a new concept in the literature. After we give the definition of the action of a vector groupoid on a vector space, we obtain some results related to actions of vector groupoids. We also apply some characterizations of the category and groupoid theory to vector groupoids. As the second part of the work, we define the notion...
متن کاملOn Two-Dimensional Holonomy
We define the thin fundamental categorical group P2(M, ∗) of a based smooth manifold (M, ∗) as the categorical group whose objects are rank-1 homotopy classes of based loops on M , and whose morphisms are rank2 homotopy classes of homotopies between based loops on M . Here two maps are rank-n homotopic, when the rank of the differential of the homotopy between them equals n. Let C(G) be a Lie c...
متن کاملConnections, Local Subgroupoids, and a Holonomy Lie Groupoid of a Line Bundle Gerbe
Our main aim is to associate a holonomy Lie groupoid to the connective structure of an abelian gerbe. The construction has analogies with a procedure for the holonomy Lie groupoid of a foliation, in using a locally Lie groupoid and a globalisation procedure. We show that path connections and 2–holonomy on line bundles may be formulated using the notion of a connection pair on a double category,...
متن کامل